21. The search for mathematical roots, 1870-1940
Author: / I. Grattan-Guinness
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Arithmetic--Foundations--History--19th century,Arithmetic--Foundations--History--20th century,Set theory--History--19th century,Set theory--History--20th century,Logic, Symbolic and mathematical--History--19th century,Logic, Symbolic and mathematical--History--20th century
Classification :
QA
,
248
,.
G684
,
2000
22. The search for mathematical roots, 1870-1940
Author: / I. Grattan-Guinness
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Arithmetic- Foundations- History 19th century,Arithmetic- Foundations- History 20th century,Set theory- History 19th century,Set theory- History 20th century,Logic, Symbolic and mathematical- History 19th century,Logic, Symbolic and mathematical- History 20th century
Classification :
QA248
.
G684
2000
23. Theorem proving with the real numbers.
Author: John Harrison
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA76
.
9
.
A96
J646
2012
24. Towards an arithmetical logic :
Author: by Yvon Gauthier
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Mathematics-- Philosophy
Classification :
QA1-939
